1. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
3. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
4. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
5. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
6. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
7. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
8. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Golestan)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
